Heterogeneous Analysis and Verification for Distributed Systems

In this paper we present an environment for the development of special purpose heterogeneous analysis and veriication tools, which is unique in 1) constituting a framework for the development of application speciic heterogeneous tools and 2) providing facilities for the automation of the synthesis process. Based on a speciication language that uniformly combines taxonomic component speciications, interface conditions, and ordering constraints, our method adds a global view to conventional single component retrieval. Following a user session, we illustrate the interactive synthesis process, which supports the inclusion of a satisfactory new software component into the repository by proposing an appropriately precomputed default taxonomic classiication. This guarantees convenient retrieval for later reuse. 1 Motivation To master the complexity and variety of system-level distributed system designs exi-ble environments are required, which eeciently support automation, `design in the large' strategies and teamwork. In particular, several, drastically diierent methodologies must be available in order to allow an application speciic treatment of problems. Unfortunately , existing systems provide only few tools and alternatives, and the inclusion of new tools into the system is quite a hard task due to the limited support for application spe-ciic tool selection or development. Particularly bound to a rich variety of approaches is the successful applicability of analysis and veriication techniques to attack complex problems of practical relevance. Analysis and veriication tools like the ones presented 1